A Relational Model for Object-Oriented Designs
نویسندگان
چکیده
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich variety of features including subtypes, visibility, inheritance, dynamic binding and polymorphism. The language is expressive enough for the specification of object-oriented designs and programs. We also propose a calculus based on this model to support both structural and behavioural refinement of object-oriented designs. We take the approach of the development of the design calculus based on the standard predicate logic in Hoare and He’s Unifying Theories of Programming (UTP). We also consider object reference in terms of object identity as values and mutually dependent methods.
منابع مشابه
rCOS: A refinement calculus of object systems
This article presents a mathematical characterization of object-oriented concepts by defining an observation-oriented semantics for a relational objectoriented language with a rich variety of features including subtypes, visibility, inheritance, type casting, dynamic binding and polymorphism. The language is expressive enough for the specification of object-oriented designs and programs. We als...
متن کاملThe Nested Relational Data Model is Not a Good Idea
The nested relational data model is a natural generalisation of the relational data model, but it often leads to designs which hide the data structures needed to specify queries and updates in the information system. The relational data model on the other hand exposes the specifications of the data structures and permits the minimal specification of queries and updates using SQL. The deficienci...
متن کاملPhysical Database Design for an Object-Oriented Database System
Object oriented database systems typically o er a variety of structuring capabilities to model complex objects This exibility together with type or class hierarchies and computed attributes methods poses a high demand on the physical design of object oriented databases Similar to traditional databases it is hardly ever true that the conceptual structure of the database is also a good that is e ...
متن کاملOn Marrying Relations and Objects: Relation-Centric and Object-Centric Perspectives
Today there are unmistakable signs that database technology is moving from pure relational technology and pure object-oriented technology toward a unified object-oriented and relational (object-relational, for short) database technology. The basis of unifying relations and objects is the view that the relational model is merely a special case of an object-oriented model. The objective of this a...
متن کاملQuery Optimization in an OODBMS
It is clearly crucial for the success of object-oriented databases to find effiĆ cient implementations that improve on the performance of relational sysĆ tems, rather than being powerful in terms of modeling and features, but just too slow to be used. This paper describes the mapping of COCOON to DASDBS, a nested relational database kernel system, as an example OODBMS mapping to a complex stora...
متن کامل